programme proving - Alemán Inglés Diccionario